×

program synthesis中文什么意思

发音:   用"program synthesis"造句

百科释义

    Program synthesis is a special form of automatic programming that is most often paired with a technique for formal verification. The goal is to automatically construct a program that provably satisfies a given high-level specification.
    详细百科解释

相关词汇

        synthesis:    n. (pl. -ses ) 综合，【化学】合成；【逻辑 ...
        automatic program synthesis:    自动程序综合
        logical program synthesis:    逻辑程序合成
        ship synthesis program:    船舶综合程序; 船舶综合分析程序
        structural synthesis design program:    结构综合设计程序
        synthesis of the object program:    结果程序的综合
        for synthesis:    合成用
        synthesis:    n. (pl. -ses ) 综合，【化学】合成；【逻辑学】综合(法)；【语言学】综合(性)；语词的合成；【医学】接合；【物理学】合成综合。
        program:    按遗传密码工作; 编程; 编译程序的源程序; 程式; 程序; 程序,项目; 程序，程序表钢要，提钢; 程序，计划，方案; 程序，计划，节目单; 程序；编制程序；规划，大纲；节目; 程序；程序; 程序；节目; 程序；进度表；计划; 程序表; 程序表为…编程序计划方案大纲程序节目说明书为…制订计划为…编制程序使按程序工作编制程序; 程序节目; 程序头; 程序性; 次序表; 大会程序; 大型项目; 调整程序排除计算故障程序; 方案; 工程; 规划; 活动日程; 计画，旋政计画; 计划; 计划‖规划，拟…计划 繁体字下载编程序; 计划，方案，程序; 计划方案大纲程序; 计算机酸化方案; 计算机钻井设计程序; 监视器/节目; 节目; 节目(单); 节目,计画,节目单; 节目；表演; 节目；程式; 节目单; 节目单，方案; 进度表; 控制程序; 某一专业的课程总称; 拟定程序; 上演节目; 授课计划，课程; 说明书; 说明书，节目表，程式; 提钢; 通道程序; 舞蹈的节目表; 项目；大纲; 项目群; 学科□; 预定的动作程序; 自由滑节目
        the program:    叛逆赢家
        this program:    这个程序
        to program:    编程; 编制程序; 程序编制
        abiotic synthesis:    非生物合成
        active synthesis:    有源综合
        additive synthesis:    附加合成
        admittance synthesis:    导纳综合
        alfene synthesis:    铝烯合成法
        alfol synthesis:    铝醇合成法
        alternative synthesis:    别种合成法
        amidine synthesis:    脒合成
        ammonia synthesis:    氨的合成; 氨合成法; 合成氨
        analog synthesis:    模拟综合
        analysis and synthesis:    分析和综合; 分析与综合
        analysis by synthesis:    综合分析
        anodic synthesis:    阳极合成

相邻词汇

  1. program switching 什么意思
  2. program switching interrupt 什么意思
  3. program switching matrix 什么意思
  4. program synchronization 什么意思
  5. program syntax 什么意思
  6. program system 什么意思
  7. program system structure 什么意思
  8. program system testing 什么意思
  9. program systme 什么意思
  10. program tab 什么意思
桌面版繁體版English

相关阅读

Copyright © 2025 WordTech Co.

Last modified time:Thu, 14 Aug 2025 00:29:56 GMT